выводимое правило

См. также в других словарях:

• ВЫВОДИМОЕ ПРАВИЛО — метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез утверждать выводимость формулы из гипотез Г; выводы наз. вспомогательными выводами В. п., заключение наз. результирующим выводом. В. п. является… …   Математическая энциклопедия

• ДОПУСТИМОЕ ПРАВИЛО — вывода правило, добавление к рого в исчисление не меняет объема выводимых в этом исчислении слов. Введение в исчисление Д. п. является мощным и часто применяемым средством сокращения выводов, во многих случаях полезно для совершенствования… …   Математическая энциклопедия

• ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… …   Математическая энциклопедия

• Printf — printf  обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода  вывода в различные потоки …   Википедия

• Snprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия

• Sprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия

• Swprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия

• Vasprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия

• Vfprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия

• Vsprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия

• Vprintf — printf обобщённое название семейства функций или методов стандартных или широкоизвестных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода вывода в различные потоки значений… …   Википедия